Merge branch 'selection-filter-fixes' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 3 Jul 2020 16:10:03 +0000 (16:10 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 3 Jul 2020 16:10:03 +0000 (16:10 +0000)
Selection filter fixes

See merge request GNOME/gtk!2186


Trivial merge